Formal sciences

Results: 2816



#Item
261Computational neuroscience / Applied mathematics / Formal sciences / Cybernetics / Cognitive science / Academia / Artificial neural networks / Computer vision / Deep learning / Robotics / Convolutional neural network / Optical flow

A Machine Learning Approach to Visual Perception of Forest Trails for Mobile Robots

Add to Reading List

Source URL: rpg.ifi.uzh.ch

Language: English - Date: 2016-02-08 05:52:19
262Technology / Science and technology / Computing / Complex systems theory / Formal sciences / Cognitive science / Blogs / Social computing / Social networking service / Computer science / Social complexity / Social media

84_ISWebScience.indd

Add to Reading List

Source URL: claudiawagner.info

Language: English - Date: 2014-12-09 05:08:03
263Audio engineering / Formal sciences / Hearing aid / Otology / Dynamic range compression / Audiology / Psychoacoustics / Digital hearing aid / Sensorineural hearing loss / Linear subspace / Control theory

Optimizing the Hearing Aid Musical Experience Eric Battenberg May 18, 2007 Abstract A novel approach to hearing aid fitting for music listening is presented. The method uses

Add to Reading List

Source URL: www.ericbattenberg.com

Language: English - Date: 2016-04-17 01:51:14
264Formal sciences / Learning / Business intelligence / Data mining / Big data / Transaction processing / Analytics / Machine learning / Artificial neural network / Internet of things / Structure mining / Vasant Honavar

The 2nd INNS Conference on Big Data 2016 October 23-25, 2016, Thessaloniki, Greece Call for Papers General Chairs Plamen Angelov, Lancaster University, UK

Add to Reading List

Source URL: conferences.cwa.gr

Language: English - Date: 2016-03-31 12:47:09
265Cognitive science / Formal sciences / Artificial intelligence / Computer science education / Informatics / Information science / Computer science / Logic / Computational linguistics

B.S. in Computational Linguistics Students must complete the College of Arts and Sciences Education (CASE) requirements. B.S./M.S. coursework can count towards the Social and Historical Studies and Natural and Mathematic

Add to Reading List

Source URL: cl.indiana.edu

Language: English - Date: 2015-10-12 17:38:58
266Formal sciences / Metalogic / Proof theory / Philosophers of mathematics / Mathematical logic / Proof mining / Logic / Foundations of mathematics / Workshop on Logic /  Language /  Information and Computation / Mathematics / Type theory / Model theory

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2016-05-30 12:23:35
267Game design / Academia / Leisure / Cognition / Formal sciences / Artificial intelligence / Video game development / Dynamic game difficulty balancing / Reinforcement learning / Learning / Neats and scruffies / Real-time strategy

Real-time challenge balance in an RTS game using rtNEAT Jacob Kaae Olesen, Georgios N. Yannakakis, Member, IEEE, and John Hallam that NEAT is capable of matching the challenge of the AI agent to the skill of a hard-coded

Add to Reading List

Source URL: www.csse.uwa.edu.au

Language: English - Date: 2009-02-05 01:17:34
268Multivariate statistics / Statistics / Dimension reduction / Data mining / Information / Formal sciences / Dimension / Nonlinear dimensionality reduction / Data analysis / Principal component analysis / Association rule learning / Multidimensional scaling

Interactive Exploration of Larger Pattern Collections: A Case Study on a Cocktail Dataset

Add to Reading List

Source URL: poloclub.gatech.edu

Language: English - Date: 2014-08-15 04:33:16
269Computing / Formal sciences / Computational science / Science and technology / Science / GESIS  Leibniz Institute for the Social Sciences / Leibniz Association / Social computing / Big data / Data mining / Computer science / Computational social science

Computational Social Science for the World Wide Web (CSSW3) Ingmar Weber Claudia Wagner

Add to Reading List

Source URL: www2016.net

Language: English - Date: 2016-04-10 09:00:50
270Data management / Big data / Formal sciences / Technology forecasting / Transaction processing / Interoperability / Health Level 7 / Analytics / Electronic health record / Data lineage

Connected Health Cloud Healthcare Unobstructed Healthcare, to date, has been based on a one-size fits all approach, where treatment that works for the masses is assumed to work for the individual. In reality, you are not

Add to Reading List

Source URL: cloudmine.wpengine.com

Language: English - Date: 2016-04-16 13:47:13
UPDATE